TBox
C1 ⊑ C2
C2 ⊑ ¬C3
C4 ⊑ ¬C2
R1 ⊑  R2
∃R2 ⊑  ¬C5
C6 ⊑  ¬∃R2
R3 ⊑ R4
∃R4⁻ ⊑  ¬C7
C8 ⊑ ¬∃R4⁻
R5 ⊑ R6
R6 ⊑ ¬R7
R8 ⊑ ¬R6
   
Logical Implications:
C1 ⊑ ¬C3
C1 ⊑ ¬C4
∃R1 ⊑  ¬C5
∃R1 ⊑  ¬C6
∃R3⁻ ⊑  ¬C7
∃R3⁻ ⊑  ¬C8
R5 ⊑ ¬R7
R5 ⊑ ¬R8






(

)


results
GPT3.5 NI: all
GPT3.5 WI: C1 ⊑ ¬C4, ∃R1 ⊑ ¬C6, ∃R3⁻ ⊑ ¬C8,  R5 ⊑ ¬R8
GPT3.5 WIE: C1 ⊑ ¬C4, ∃R1 ⊑ ¬C6, R5 ⊑ ¬R8.
GPT4o NI: C1 ⊑ ¬C4, ∃R1 ⊑ ¬C6, ∃R3⁻ ⊑ ¬C8,  R5 ⊑ ¬R8
GPT4o WI: C1 ⊑ ¬C4, R5 ⊑ ¬R8
GPT4o WIE:C1 ⊑ ¬C4, R5 ⊑ ¬R8
LLaMA NI: C1 ⊑ ¬C4, ∃R1 ⊑ ¬C6, ∃R3⁻ ⊑ ¬C8
LLaMA WI: C1 ⊑ ¬C4
LLaMA WIE:  C1 ⊑ ¬C4, ∃R1 ⊑ ¬C6, ∃R3⁻ ⊑ ¬C8,  R5 ⊑ ¬R8


